Inhalt des Dokuments
zur Navigation
Forschung
-
BASICS 2009 - Eingeladener Vortrag
Uwe Nestmann Keynote Speaker beim BASICS 2009 International Workshop on Computation and Interaction am 11.-16. Oktober 2009.
-
IFIP WG 2.2 Meeting 2009 - Eingeladener Vortrag
Eingeladener Vortrag von Uwe Nestmann beim jährlichen Treffen der IFIP WG 2.2 Formal Description of Programming Concepts.
-
Artikel akzeptiert
Artikel "Deriving Trust from Experience" akzeptiert für FAST2009 (Co-Autoren Florian Eilers, Uwe Nestmann)
-
tubs.city Symposium - Eingeladener Vortrag
Eingeladener Vortrag von Uwe Nestmann zum Thema "Asynchronous Communication in Process Calculi" beim Workshop Synchrony and Asynchrony in Distribiuted Systems des tubs.city Symposiums.
-
Artikel akzeptiert
Artikel "On Process-Algebraic Proof Methods for Fault Tolerant Distributed Systems" akzeptiert (Rate 12/42) für FMOODS/FORTE 2009 (Co-Autoren Morten Kühnrich, Uwe Nestmann).
-
D-CON / GeCCo
MTV veranstaltet das 2. jährliche Treffen German Chapter Concurrency Theory am 9.-10. März 2009 an der TU Berlin in den Räumen der Fakultät IV.
-
Gast: António Ravara
António Ravara (TU Lissabon) besucht MTV am 23.+24. Februar 2009 im Rahmen des DAAD Austauschprojektes MONACO-GP. Er hält auch einen Vortrag.